3. .....................
Author: Chang, Chin-liang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
4. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical
Classification :
QA
,
76
.
9
,.
A96B87
5. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
568
7. Artificial Intelligence in Logic Design
Author: by Svetlana N. Yanushkevich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
8. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
Author: Jacques Calmet, Jan Plaza )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1476
9. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
Author: John A. Campbell, Eugenio Roanes-Lozano )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1930
10. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
Author: Bruno Buchberger, John A. Campbell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3249
11. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
Author: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4120
12. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
Author: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
Q
334
.
A766
1996
13. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
Author: International Conference AISMC-1, )2991: Karlsruhe, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
Q
334
.
I5488
1992
14. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
Author: Jacques Calmet, John A. Campbell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
737
15. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
Author: Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1138
16. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
Author: Jacques Calmet...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2385
17. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
18. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
19. Automated Deduction -- Cade-13 :
Author: edited by M.A. McRobbie, J.K. Slaney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
20. Automated Deduction : Proceedings
Author: M.E. Stickel )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
449
